Skip to content

Remove scheduled CI runs#117

Merged
mvz merged 1 commit intomasterfrom
remove-ci-schedule
Nov 15, 2025
Merged

Remove scheduled CI runs#117
mvz merged 1 commit intomasterfrom
remove-ci-schedule

Conversation

@mvz
Copy link
Copy Markdown
Owner

@mvz mvz commented Nov 15, 2025

These schedules make GitHub disable the whole workflow when activity is low, and I'd rather the jobs were run whenever a pull request lands.

These schedules make GitHub disable the whole workflow when activity is
low, and I'd rather the jobs were run whenever a pull request lands.
@mvz mvz enabled auto-merge November 15, 2025 12:59
@mvz mvz disabled auto-merge November 15, 2025 13:22
@mvz mvz merged commit 554b8b1 into master Nov 15, 2025
4 checks passed
@mvz mvz deleted the remove-ci-schedule branch November 15, 2025 13:24
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant